Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming
نویسنده
چکیده
منابع مشابه
Algebraic Matching of Vulnerabilities in a Low-Level Code
This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...
متن کاملParameterized Type Definitions in Mathematica: Methods and Advantages
The theme of symbolic computation in algebraic categories has become of utmost importance in the last decade since it enables the automatic modeling of modern algebra theories. On this theoretical background, the present paper reveals the utility of the parameterized categorical approach by deriving a multivariate polynomial category (over various coefficient domains), which is used by our Math...
متن کامل2lp: Linear Programming and Logic Programming
The 2LP system is a step in the “Operatica Program,” a project whose grand design is to provide an elegant and powerful programming language environment for combining AI and OR methods for decision support software systems. The term “Operatica” was coined by J.L. Lassez to suggest an analogy with the Mathematica system which provides a programming environment for symbolic mathematical computati...
متن کاملDistributed Computing in Algebraic Topology: first trials
Nowadays, Internet appears as a suitable tool for performing scientific computations in a distributed collaborative way. One of the fields where this idea can be applied is that of Symbolic Computation. Computer Algebra packages are being extended to interconnect them. In fact, some Computer Algebra systems are already capable of performing distributed computing. An example is Distributed Maple...
متن کاملA Tutorial Introduction to Maple
The Maple computer algebra system is described . Brief sample sessions show the user syntax and the mathematical power of the system for performing arithmetic, factoring, simplification, differentiation, integration, summation, solving algebraic equations, solving differential equations, series expansions, and matrix manipulations . Time and space statistics for each sample session show that th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001